A Scheme for Extensions of Homomorphisms of Many Sorted Algebras
نویسنده
چکیده
The aim of this work is to provide a bridge between the theory of contextfree grammars developed in [10], [6] and universally free manysorted algebras([14]. The third scheme proved in the article allows to prove that two homomorphisms equal on the set of free generators are equal. The first scheme is a slight modification of the scheme in [6] and the second is rather technical, but since it was useful for me, perhaps it might be useful for somebody else. The concept of flattening of a many sorted function F between two manysorted sets A and B (with common set of indices I) is introduced for A with mutually disjoint components (pairwise disjoint function – the concept introduced in [13]). This is a function on the union of A, that is equal to F on every component of A. A trivial many sorted algebra over a signature S is defined with sorts being singletons of corresponding sort symbols. It has mutually disjoint sorts.
منابع مشابه
A Certain Class of Character Module Homomorphisms on Normed Algebras
For two normed algebras $A$ and $B$ with the character space $bigtriangleup(B)neq emptyset$ and a left $B-$module $X,$ a certain class of bounded linear maps from $A$ into $X$ is introduced. We set $CMH_B(A, X)$ as the set of all non-zero $B-$character module homomorphisms from $A$ into $X$. In the case where $bigtriangleup(B)=lbrace varphirbrace$ then $CMH_B(A, X)bigcup lbrace 0rbrace$ is...
متن کاملMODULE HOMOMORPHISMS ASSOCIATED WITH HYPERGROUP ALGEBRAS
Let X be a hypergroup. In this paper, we study the homomorphisms on certain subspaces of L(X)* which are weak*-weak* continuous.
متن کامل$n$-Jordan homomorphisms on C-algebras
Let $nin mathbb{N}$. An additive map $h:Ato B$ between algebras $A$ and $B$ is called $n$-Jordan homomorphism if $h(a^n)=(h(a))^n$ for all $ain A$. We show that every $n$-Jordan homomorphism between commutative Banach algebras is a $n$-ring homomorphism when $n < 8$. For these cases, every involutive $n$-Jordan homomorphism between commutative C-algebras is norm continuous.
متن کاملModule homomorphisms from Frechet algebras
We first study some properties of $A$-module homomorphisms $theta:Xrightarrow Y$, where $X$ and $Y$ are Fréchet $A$-modules and $A$ is a unital Fréchet algebra. Then we show that if there exists a continued bisection of the identity for $A$, then $theta$ is automatically continuous under certain condition on $X$. In particular, every homomorphism from $A$ into certain Fr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994